$\forall$${\it es}$:ES, $a$, $b$, $c$:E. ($a$ $<$loc $b$) $\Rightarrow$ $b$ $\leq$ $c$  $\Rightarrow$ ($a$ $<$loc $c$)